对称向量拟均衡问题有效解的存在性

利用标量化方法建立对称向量拟均衡问题有效解的存在性定理。作为标量化方法的应用，利用这一方法得到向量变分不等式和拟向量变分不等式有效解的存在性定理。     

一类压缩型映射的不动点定理

在完备的度量空间中,讨论了一类新型的非线性压缩映射ρ(Tx,Ty)≤a(ρ(x,y))ρ(x,Tx)+b(ρ(x,y))ρ(y,Ty)+c(ρ(x,y))ρ(x,y)通过构造迭代序列,指出该映射的不动点的存在性和唯一性,并给出相应的误差估计式,拓展和改进了有关文献的范围.     

Differentiable spaces that are subcartesian

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is weakly reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differential forms, that satisfies Smith’s version of de Rham’s theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows.     

从双层规划的角度看道德风险理论的一阶条件方法

本文首先对双层规划的一个特殊例子即道德风险模型中使用的一阶条件方法（FOA）做简要的梳理，然后提出一种更为一般的使FOA有效的原则与方法。新方法主要依赖于代理人对委托人设置的目标的最优反应映射是否存在不动点，这个性质不要求原问题与用一阶条件放松以后的问题之间的约束集等价，从而也不要求代理人的期望效用对行动具有全局凹性。在新方法下，可以用较为简单的方法证明FOA在以下两种情形之一有效，即如果分布函数是概率分布的凸组合或者分布函数来自某些特殊的指数族分布。     

The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

Versatile Near-Infrared Super-Resolution Imaging of Amyloid Fibrils with the Fluorogenic Probe CRANAD-2

CRANAD-2 is a fluorogenic curcumin derivative used for near-infrared detection and imaging in vivo of amyloid aggregates, which are involved in neurodegenerative diseases. We explore the performance of CRANAD-2 in two super-resolution imaging techniques, namely stimulated emission depletion (STED) and single-molecule localization microscopy (SMLM), with markedly different fluorophore requirements. By conveniently adapting the concentration of CRANAD-2, which transiently binds to amyloid fibrils, we show that it performs well in both techniques, achieving a resolution in the range of 45–55 nm. Correlation of SMLM with atomic force microscopy (AFM) validates the resolution of fine features in the reconstructed super-resolved image. The good performance and versatility of CRANAD-2 provides a powerful tool for near-infrared nanoscopic imaging of amyloids in vitro and in vivo.     

Concentrated steady vorticities of the Euler equation on 2-d domains and their linear stability

We consider concentrated vorticities for the Euler equation on a smooth domain $\mathrm{\Omega }?{\mathbf{R}}^2$ in the form of

$\omega =\sum _{j=1}^N{\omega }_j{\chi }_{{\mathrm{\Omega }}_j},|{\mathrm{\Omega }}_j|=\pi r_j^2,\underset{{\mathrm{\Omega }}_j}{\int }{\omega }_{j}d\mu ={\mu }_j\ne 0,$

supported on well-separated vortical domains ${\mathrm{\Omega }}_j$, $j=1,\dots ,N$, of small diameters $O(r_j)$. A conformal mapping framework is set up to study this free boundary problem with ${\mathrm{\Omega }}_j$ being part of unknowns. For any given vorticities ${\mu }_1,\dots ,{\mu }_N$ and small $r_1,\dots ,r_N\in {\mathbf{R}}^{+}$, through a perturbation approach, we obtain such piecewise constant steady vortex patches as well as piecewise smooth Lipschitz steady vorticities, both concentrated near non-degenerate critical configurations of the Kirchhoff–Routh Hamiltonian function. When vortex patch evolution is considered as the boundary dynamics of $?{\mathrm{\Omega }}_j$, through an invariant subspace decomposition, it is also proved that the spectral/linear stability of such steady vortex patches is largely determined by that of the 2N-dimensional linearized point vortex dynamics, while the motion is highly oscillatory in the 2N-codim directions corresponding to the vortical domain shapes.